The set of all n-tuples for which the i-th component is an element of Gi and the operation is componentwise. In symbols,